University of Edinburgh School of Informatics - PDFSEARCH.IO - Document Search Engine

University of Edinburgh School of Informatics
Results: 305

#	Item
181	Distinguished Lectures marking the Launch of the EPSRC Centre for Doctoral Training in Data Science Monday 3rd November 2014 University of Edinburgh, Informatics Forum 10 Crichton Street, Edinburgh, EH8 9AB Add to Reading List Source URL: datascience.inf.ed.ac.uk Language: English - Date: 2014-10-06 06:33:09 Year of birth missing Knowledge Information retrieval Natural language processing Speech recognition Computer science Columbia School of Engineering and Applied Science David Waltz Dragomir R. Radev Science Computational linguistics Linguistics
182	HANDLING ALGEBRAIC EFFECTS GORDON D. PLOTKIN AND MATIJA PRETNAR Laboratory for Foundations of Computer Science, School of Informatics, University of Edinburgh, Scotland e-mail address: Faculty of Mathema Add to Reading List Source URL: matija.pretnar.info Language: English - Date: 2014-10-06 03:14:23 Logic in computer science Algebraic geometry Field theory Valuation Monad Denotational semantics Exception handling Symbol Sheaf Abstract algebra Mathematics Software engineering
183	On the Satisfiability of Two-Variable Logic over Data Words Claire David, Leonid Libkin, and Tony Tan School of Informatics, University of Edinburgh Abstract. Data trees and data words have been studied extensively Add to Reading List Source URL: homepages.inf.ed.ac.uk Language: English - Date: 2010-12-15 16:01:47 Theoretical computer science Model theory Automata theory Regular language Presburger arithmetic Structure Decision problem Mathematics Mathematical logic Formal languages
184	Taxonomy Induction Using Hierarchical Random Graphs Trevor Fountain and Mirella Lapata Institute for Language, Cognition and Computation School of Informatics, University of Edinburgh 10 Crichton Street, Edinburgh EH8 9 Add to Reading List Source URL: www.texasexpat.net Language: English - Date: 2012-06-03 13:35:45 Linguistics Science Network analysis Cluster analysis Data mining Geostatistics WordNet Hierarchical clustering Word-sense disambiguation Statistics Computational linguistics Knowledge representation
185	The Use of Rippling to Automate EventB Invariant Preservation Proofs Yuhui Lin, Alan Bundy& Gudmund Grov School of Informatics University of Edinburgh ATX 2012 Add to Reading List Source URL: www.ai4fm.org Language: English - Date: 2013-10-30 13:20:44 Mathematics Knowledge Mathematical proof Formal methods Science Automated theorem proving Heuristics Rippling
186	What Decisions Have You Made: Automatic Decision Detection in Conversational Speech Pei-Yun Hsueh School of Informatics University of Edinburgh Edinburgh EH9 8WL, UK Add to Reading List Source URL: homepages.inf.ed.ac.uk Language: English - Date: 2009-08-21 08:52:15 Difference due to Memory Electroencephalography Dungeon Master Speech synthesis Prosody Linguistics Computational linguistics Phonology
187	UNBIASED DISCOURSE SEGMENTATION EVALUATION John Niekrasz and Johanna D. Moore School of Informatics, University of Edinburgh ABSTRACT In this paper, we show that the performance measures Pk [1] and WindowDiff [2], common Add to Reading List Source URL: homepages.inf.ed.ac.uk Language: English - Date: 2011-07-22 12:23:36 Segmentation Text segmentation Statistical hypothesis testing Natural language processing Statistics Image processing Science
188	Improving Meeting Summarization by Focusing on User Needs: A Task-Oriented Evaluation Pei-Yun Hsueh School of Informatics University of Edinburgh Add to Reading List Source URL: homepages.inf.ed.ac.uk Language: English - Date: 2009-08-21 08:52:14 Natural language processing Automatic summarization Data mining Linguistics Human–computer interaction User interface techniques Usability Speech recognition Decision support system Computational linguistics Science Information science
189	Evolving optimal inspectable strategies for spoken dialogue systems Dave Toney School of Informatics Edinburgh University 2 Buccleuch Place Edinburgh EH8 9LW Add to Reading List Source URL: homepages.inf.ed.ac.uk Language: English - Date: 2009-08-21 08:52:15 Science Learning classifier system Reinforcement learning Genetic algorithm Dialog system Machine learning Markov decision process Dialogue Evolutionary computation Statistics Cybernetics Fiction
190	Dealing with Interpretation Errors in Tutorial Dialogue Myroslava O. Dzikovska, Charles B. Callaway, Elaine Farrow, Johanna D. Moore School of Informatics University of Edinburgh, Edinburgh, United Kingdom mdzikovs,ccall Add to Reading List Source URL: homepages.inf.ed.ac.uk Language: English - Date: 2010-03-12 12:42:47 Teaching Computational linguistics Error analysis Second-language acquisition AutoTutor Dialog system Speech recognition Tutor Dialogue Humanâ€“computer interaction Knowledge Education

UPDATE